Memory barrier

Results: 152



#Item
31Software engineering / Lock / Thread / Spinlock / Semaphore / POSIX Threads / Memory barrier / Critical section / Circular buffer / Concurrency control / Computing / Computer programming

Review: Thread package API Program A • tid thread create (void (*fn) (void *), void *arg); - Create a new thread that calls fn with arg

Add to Reading List

Source URL: www.scs.stanford.edu

Language: English - Date: 2010-01-12 17:15:16
32Computer hardware / Computer memory / Transaction processing / Central processing unit / Parallel computing / Memory barrier / CPU cache / Non-blocking algorithm / Thread / Computing / Concurrency control / Computer architecture

RCDC: A Relaxed Consistency Deterministic Computer Joseph Devietti Jacob Nelson Tom Bergan

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2011-05-12 02:39:36
33Computer memory / Parallel computing / Threads / C POSIX library / POSIX Threads / Memory barrier / Memory model / Spinlock / Java Memory Model / Computing / Concurrent computing / Concurrency control

Reordering Constraints for Pthread-Style Locks Hans-J. Boehm HP Labs

Add to Reading List

Source URL: hboehm.info

Language: English - Date: 2014-02-06 19:37:32
34Transaction processing / Concurrency / Computer memory / Linearizability / Concurrent computing / Non-blocking algorithm / Memory barrier / Sequential consistency / Parallel computing / Computing / Concurrency control / Computer architecture

Dynamic Synthesis for Relaxed Memory Models Feng Liu Nayden Nedev Nedyalko Prisadnikov

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2012-03-27 11:34:59
35Compiler construction / Concurrency / Programming language design / Memory model / Parallel computing / Thread / Memory barrier / Parallel programming model / Computing / Software engineering / Computer memory

10-pldi-adve-boehm-tutorial

Add to Reading List

Source URL: hboehm.info

Language: English - Date: 2014-02-06 19:37:32
36GPGPU / Nvidia / OpenCL / Video cards / Linux kernel / Kernel / Thread / Memory barrier / Parallel computing / Computing / Computer architecture / Software

PDF Document

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2015-04-21 04:53:19
37Mathematics / Formal methods / Formal languages / Programming language semantics / Memory barrier / Abstract interpretation / Operational semantics / Abstraction / Formal verification / Theoretical computer science / Logic in computer science / Applied mathematics

Partial-Coherence Abstractions for Relaxed Memory Models Michael Kuperstein Martin Vechev Eran Yahav ∗

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2011-03-21 07:47:48
38Parallel computing / Computer memory / Concurrency control / Threads / Concurrency / Thread / Memory barrier / POSIX Threads / Java Memory Model / Computing / Concurrent computing / Software engineering

Threads Cannot be Implemented as a Library Hans-J. Boehm HP Laboratories

Add to Reading List

Source URL: hboehm.info

Language: English - Date: 2014-02-06 19:37:32
39Concurrent computing / Read-copy-update / Readers–writer lock / Lock / ABA problem / Non-blocking algorithm / Critical section / Memory barrier / Thread / Concurrency control / Computing / Concurrency

User-Level Implementations of Read-Copy Update

Add to Reading List

Source URL: www.efficios.com

Language: English - Date: 2011-08-30 18:02:32
40Scheduling / Local area networks / Computer memory / Application programming interfaces / Remote direct memory access / Message Passing Interface / InfiniBand / Barrier / Blocking / Computing / Concurrent computing / Parallel computing

Overlapping Computation and Communication: Barrier Algorithms and ConnectX-2 CORE-Direct Capabilities Richard L. Graham, Steve Poole Oak Ridge National Laboratory (ORNL) Oak Ridge, TN, USA Email: {rlgraham,spoole}@ornl.g

Add to Reading List

Source URL: www.csm.ornl.gov

Language: English - Date: 2010-05-20 06:50:02
UPDATE